软测量技术在铁矿石表面温度检测中的应用

针对进行熔滴试验来分析铁矿石的高温性能中铁矿石表面温度很难直接获得的困难,提出了运用软测量技术实现在线检测铁矿石的表面温度,以取代原有的拉格朗日插值法进行表面温度离线估算。该方法采用L-M优化算法,通过建立神经网络软测量模型,并结合神经网络的离线学习,建立输入变量和目标变量的对应关系,实现试样试验中铁矿石表面温度的在线检测。仿真结果和对比实验比较结果均表明该方法是合理可行的。     

WaterBalloonsSnake模型的数字图像轮廓提取算法

为解决数字图像如左心室MRI图像存在着弱边缘、与周围组织之间的低对比度区域的特点,传统的Snake模型算法分割数字图像,出现变形曲线泄漏现象这一问题,提出一种改进的Balloons Snake模型-Water Balloons Snake图像分割算法.该算法利用数学形态学理论自动获取左心室数字MRI图像的重心以及边界形状变化允许空间,采用分水岭变换算法获取图像轮廓内壁分水岭线,并以此作为Snake数字模型的初始样条曲线进行进一步轮廓捕获.以小香猪左室加标记MRI数字医学图像作为应用研究对象,对比了几种模型的不同处理结果.实验表明WaterBalloons Snake模型算法比经典Snake模型或Balloons Snake模型算法能够更有效地处理变形曲线泄漏问题,并且具有较快的收敛速度.     

一种新的信息合成规则及其消去算法

利用DS合成规则及由其导出的消去算法进行信息的融合或消去时,可能会得出不合常理的结果.对此提出了一个新的合成规则及相应的消去算法,理论上证明了这个规则的合成与消去具有可逆性,并通过几个例题进行对比,可以看出新的规则比DS规则更为合理.     

混合广义指数分布的参数估计

介绍了混合广义指数分布的失效模型,并运用EM算法给出了模型在完全数据情形下的参数估计方法,最后用数值例子说明了EM算法对本文模型的有效性.     

暂态混沌神经网络的算法改进及其在TSP中的应用

根据暂态混沌神经网络所具有的通过负反馈系数对神经网络引入退火机制,并通过网络动态运行中系数的不断减少来使网络从初期的混沌状态收敛到稳定收敛状态的特点,将其应用到中国31个省会城市的旅行商问题中.针对应用中所存在的解决较大数目的组合优化问题不易收敛到最优解的情况,将暂态混沌神经网络和传统的启发式算法相结合,提出一种组合算法.给出了改进算法的具体设计以及应用实施的步骤,并对应用结果进行了性能对比分析.     

SLM显微立体视觉中的双重折射校正算法

为解决微流控芯片检测中由于盖片的双重折射效应导致的聚焦误差、色差和视场误差等问题,从折射基本定理出发,结合光学体视显微镜(SLM)的双光路结构,建立了SLM显微立体视觉双重折射变折射率校正算法,实现了对透明封闭容腔的非接触无损三维精确测量.在微沟道测量实验中,深度方向的测量误差由7.1 μm减小到1.5μm,相对误差由18.68%减小到3.95%.SLM显微立体视觉三维测量系统与表面轮廓仪、激光共焦扫描显微镜的横向对比测量实验,证明了SLM显微立体视觉双重折射变折射率校正的必要性和有效性.     

微创胆囊手术中胆囊管路松弛状态的仿真研究

为使利用虚拟现实技术进行的微创胆囊手术仿真更接近真实情况,给医生提供更好的沉浸感,建立了微创胆囊手术仿真所需的胆囊及其附属管路三维几何模型,并其赋予一定的力学性能.基于力平衡点合力为零的原理,提出一种求解力平衡的数值迭代算法.该算法使组成胆囊附属管路的球重心所受到的合力逐步趋近于零从而达到力平衡,并依据新的力平衡位置更新球间管的位姿产生图形反馈.实验证明,该算法可以根据精度需要求解出在力平衡时各个球重心的位置并进行相应的图形反馈,算法有效.     

克隆选择辨识的船舶航向自适应PD控制

为解决船舶营运中存在的模型参数摄动和外界干扰的不确定性问题,提出一种船舶航向自适应PD控制算法.采用免疫克隆选择算法进行在线船舶模型辨识,将存在不确定干扰和模型摄动的船舶作为一个"黑箱",将短时间内的船舶状态在线辨识为二阶线性模型,根据系统预定性能要求动态调整PD控制参数,使船舶获得理想输出.对抗体初始种群采用最优模型保留和随机初始化相结合的策略,提高了不确定性问题的在线优化效率.对一个三阶非线性货船的仿真试验表明,该算法有效提高了PD控制器的稳态性能.     

自适应均衡算法的研究进展

简述了能补偿或减小现代通信系统中的码间干扰问题的自适应均衡算法的基本原理及其特点．介绍了最小均方误差算法、递归最小二乘算法等几类主要的自适应均衡算法,并阐述了近年来出现的主要的自适应均衡算法的原理,对误码率、收敛速度、运算量及稳态误差等评价指标进行了分析．结合分析结果和自适应均衡算法的实际应用前景,探讨了这一领域需要进行进一步研究的问题,并对今后的研究进行了展望．     

Efficient Translation of LTL to Büchi Automata

The construction of Büchi automata from linear temporal logic is a significant step in model check-ing. This paper presents a depth-first construction algorithm to obtain simple Büchi automata from linear-time temporal logic which significantly reduces the sizes of the state spaces. A form-filling algorithm was used to reduce the size of the generated automata and the algorithms were applied directly to state-based Büchi automata, without transformation into transition-based automata. A form-filling algorit...